$\forall$$A$:Type, $l$:($A$ List). ge($\parallel$$l$$\parallel$; 0)